Что (кто) такое Rigorous Approach to Industrial Software Engineering - определение
Rigorous Approach to Industrial Software Engineering
ACRONYM RIGOROUS APPROACH TO INDUSTRIAL SOFTWARE ENGINEERING
RAISE Specification Language; RAISE specification language
RAISE (Rigorous Approach to Industrial Software Engineering) was developed as part of the European ESPRIT II LaCoS project in the 1990s, led by Dines Bjørner. It consists of a set of tools designed for a specification language (RSL) for software development.
RAISE Specification Language
ACRONYM RIGOROUS APPROACH TO INDUSTRIAL SOFTWARE ENGINEERING
RAISE Specification Language; RAISE specification language
<language> (RSL) (RAISE = Rigorous Approach to Industrial
Software Engineering). A wide-spectrum specification and
design language developed by ESPRIT Project 315 at CRI
A/S, Denmark. Systems may be modular, concurrent and
nondeterministic. Specifications may be applicative or
imperative, explicit or implicit, abstract or concrete.
["The RAISE Specification Language", RAISE Language Group, P-H
1992, ISBN 0-13-752833-7 ].
(2007-10-02)
Cleanroom software engineering
SOFTWARE DESIGN METHODOLOGY
Cleanroom (Software Engineering); Cleanroom (Software engineering); Cleanroom Software Engineering
The cleanroom software engineering process is a software development process intended to produce software with a certifiable level of reliability. The cleanroom process was originally developed by Harlan Mills and several of his colleagues including Alan Hevner at IBM.
